41. Denotational semantics : the Scott-Strachey approach to programming language theory
پدیدآورنده : Stoy, Joseph
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
7
.
S74
42. Domain-theoretic foundations of functional programming
پدیدآورنده : / Thomas Streicher
کتابخانه: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
موضوع : Programming languages (Electronic computers) -- Semantics,Computer science -- Mathematics,Functionele programmering,Domein (wiskunde)
رده :
QA
76
.
7
.
S818
2006
43. Fairness
پدیدآورنده : Francez, Nissim.
موضوع : ، Electronic digital computers-- Programming,، Programming languages )Electronic computers(-- Semantics,، Parallel processing )Electronic computers(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
44. Fairness
پدیدآورنده : Francez, Nissim
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer programming,، Programming languages )Electronic computers( -- Semantics,، Parallel processing )Electronic computers(
رده :
QA
76
.
6
.
F72
1986
45. Formal Methods and Software Development :
پدیدآورنده : edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Programming languages (Electronic computers),Software engineering.
46. Formal Syntax and Semantics of Programming Languages
پدیدآورنده : \ Kenneth Slonneger, Barry L. Kurtz
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Programming languages (Electronic computers) -- Syntax.,Programming languages (Electronic computers) -- Semantics.,زبان‌های برنامه‌نویسی کامپیوتر-- نحو ,زبان‌های برنامه‌نویسی کامپیوتر-- م‍ع‍ن‍ی‌ش‍ن‍اس‍ی
رده :
E-Book
,
47. Formal semantics of Programming languages
پدیدآورنده : Courant Computer Science Symposium, 2d, New York, 0791
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Programming languages )Electronic computers(-- Semantics-- Congresses
رده :
QA
76
.
7
.
C68
1970
48. Formal syntax and semantics of Java
پدیدآورنده : Jim Alves-Foss )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Java )Computer program language(,، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
1523
49. Formal syntax and semantics of Java
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Java (Computer program language) ; Programming languages (Electronic computers) ; Semantics ;
50. Formal syntax and semantics of Java
پدیدآورنده : / Jim Alves-Foss (ed.)
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Java (Computer program language),Programming languages (Electronic computers)--Semantics
رده :
QA
,
76
.
73
,.
J38
,
F67
,
1999
51. Formal syntax and semantics of programming languages
پدیدآورنده : / Kenneth Slonneger, Barry L. Kurtz
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Programming languages (Electronic computers)--Syntax,Programming languages (Electronic computers)--Semantics
رده :
QA
,
76
.
7
,.
S59
,
1995
52. Formal syntax and semantics of programming languages :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Programming languages (Electronic computers) ; Syntax. ;
53. Formal syntax and semantics of programming languages : a laboratory based approach
پدیدآورنده : Slonneger, Kenneth.
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Programming languages )Electronic computers( - Syntax , Programming languages )Electronic computers( - Semantics
رده :
QA
76
.
7
.
S59
1995
54. Foundations of logic programming
پدیدآورنده : J.W. Lloyd
کتابخانه: Vali Asr University Central Library (Kerman)
موضوع : Logic programming,Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
6
.
L583
1987
55. Foundations of logic programming
پدیدآورنده : Lloyd, John Wylie
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Logic programming,، Programming languages )Electronic computers( - Semantics
رده :
QA
76
.
6
.
L583
1984
56. Foundations of logic programming
پدیدآورنده : Lloyd, J. W.)John Wylie(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Logic programming,، Programming languages )Electronic computers( - Semantics
رده :
QA
76
.
6
.
L583
1987
57. Foundations of logic programming
پدیدآورنده : Lloyd, John Wylie, 7491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic programming,، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
6
.
L56
1987
58. Foundations of object-oriented languages
پدیدآورنده : / Kim B. Bruce
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Object-oriented programming (Computer science),Programming languages (Electronic computers)
رده :
QA
,
76
.
64
,.
B776
,
2002
59. Full abstraction and semantic equivalence
پدیدآورنده : Mulmuley, Ketan
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
7
.
M86
60. Initial computability, algebraic specifications, and partial algebras
پدیدآورنده : / by Horst Reichel
کتابخانه: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
موضوع : Computer science - Mathematics,Data structures (Computer science),Programming languages (Electronic computers) - Semantics,Partial algebras
رده :
QA
76
.
9
.
M35R45
1987
